state-correspondence error

状态对应误差